#include "global_vars.h"

//------------------------------------------------------------------------------
void updateClock(int own_vc[MAX_RING_NODES], int m_vc[MAX_RING_NODES]) {
	int i;
	for (i = 0; i < get_config_info()->num_nodes; i++) {
		if (own_vc[i] < m_vc[i])
			own_vc[i] = m_vc[i];
	}
}

